קורס מטלב לביולוגים שיעור מס' 1: סביבת עבודה

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "קורס מטלב לביולוגים שיעור מס' 1: סביבת עבודה"

Transcript

1 חישובים סוגי ביטויים מתמטיים שיעור מס' 1: סביבת עבודה ביטוי מתמטי מורכב מרכיבים (אופרנדים) ומפעולה שנעשית ביניהם (אופרטור). opernd1 opertor opernd2 opertor opernd FunctionNme(rgument) אופרטור בינרי אופרטור אונרי ביטוי פוקנציונלי דוגמא: דוגמא: 3 דוגמא: log(2) *3 6 2/ ^3 8 sqrt(3) exp(1) בביטויים פונקציונליים, האופרנד נקרא ארגומנט. האופרטור הוא פונקציה, והארגומנט מופיע בין סוגריים. כתיבת ביטויים מתמטיים חיבור חיסור +b -b *b כפל b חילוק חזקה /b ^b b b שורש ריבועי אקספוננט sqrt() exp() e סדר ביצוע הפעולות אופרטורים עם קדימות זהה מבוצעים משמאל לימין. סדר קדימות של הפעלת אופרטורים: כמו במתמטיקה. קדימות גבוהה ביותר פונקציה < חזקה ^ < חיבור + וחיסור - קדימות נמוכה ביותר < כפל * וחילוק / כדי לשנות את סדר החישוב, משתמשים בסוגריים עגולים בלבד. הביטוי ( 5 4) ערכים מוגדרים מראש נכתב: (להלן כמה דוגמאות שימושיות). sqrt((5*4)^2+1) עמ' 1 מתוך 9

2 pi*1.5^ /Inf 0*Inf 0 NN NN*5 NN pi Inf NN π undefined (Not Number) כתיבה והצגה של מספרים e e / e-04 2/ formt short 3/ / formt short e 3/ e / e+01 formt long 3/ / integer.frction fixed point נקודה קבועה: mntissepower mntiss10 power כתיב מדעי: floting point נקודה צפה: כתיב מדעי, כך שהמנטיסה מסדר גודל של אחדות בודדות או של עשיריות (מקום אחד לפני או אחרי הנקודה). הצגת מספרים במטלב: נקודה קבועה עבור מספרים < formt שינוי ברירת המחדל להצגה: פקודת נקודה קבועה, מוצגות 4 ספרות אחרי הנקודה נקודה צפה, מוצגות 4 ספרות אחרי הנקודה נקודה קבועה, מוצגות 15 ספרות אחרי הנקודה עמ' 2 מתוך 9

3 formt long e 3/ e-03 נקודה צפה, מוצגות 15 ספרות אחרי הנקודה סביבת העבודה של מטלב חומרה מבנה סכמטי של מחשב אמצעי אכסון קבועים (דיסק) זכרון עבודה RAM יחידת עיבוד מרכזית CPU (חיווט) Bus אמצעי אכסון נתיקים התקנים היקפיים אחרים חישובים ברמת המכונה העברת מידע מן ה- RAM חישוב בתוך ה- CPU opernd1 opertor opernd2 אכסון התוצאה ב- RAM זיכרון, מידע ומשתנים מידע מאוכסן בזיכרון לפי המיקום, כלומר כתובת. שפת-תכנות עילית: ציון הכתובות והפעולות על מידע נעשה באופן קריא (לבני-אדם). משתנה מתי חסי לאזור-אכסון בזיכרון, עם המאפיינים: מיקום בזיכרון-העבודה (כתובת) שם - תווית לצורך התייחסות בשפה עילית. ערך - המידע המאוכסן שם המשתנה הוא צירוף של סימנים (בדרך כלל אותיות). הסימן הראשון חייב להיות אות (אחת מאותיות האלפבית האנגלי). הסימנים הבאים יכולים להיות אותיות, ספרות או הסימן _ (קו תחתי). VribleNme = vlue פעולת השמה: אכסון מידע במשתנה. השמה לתוך משתנה מוחקת ערך קודם שהיה מאוכסן בו. עמ' 3 מתוך 9

4 g = 9.8, t=10 g = t = 10 x = 0.5*g*t^2 x = v = 4.2 v = x = x+v*t x = 532 שימוש במשתנה: ציון שם המשתנה בתוך ביטוי גורם לשליפת המידע מן המשתנה ושימוש בו בחישוב הביטוי. משתנים במטלב Vol=2 Vol = 2 Mol = 0.1 Mol = mol = Mol/Vol mol = Vol^(1/3) ns Mol = 0.4 Mol = אזור הזיכרון בו מטלב שומר את המשתנים נקרא.Workspce השמה למשתנה שלא היה קיים מקצה את המשתנה בזיכרון. ניסיון לשימוש במשתנה שלא הוקצה הוא שגיאה. בשמות המשתנים במטלב יש הבדל בין אותיות קטנות וגדולות.(cse sensitive) בחישוב ללא פעולת השמה, התוצאה נשמרת במשתנה ברירת-מחדל בשם.ns שאלה: מה יהיה ערכו של mol לאחר ביצוע ההשמה הבאה: פקודות מטלב לטיפול במשתנים who Your vribles re: שימוש: who who הצגת רשימת משתנים בזיכרון העבודה Mol Vol ns mol whos שימוש: whos Nme Size Bytes Clss Attributes Mol 1x1 8 double Vol 1x1 8 double ns 1x1 8 double mol 1x1 8 double whos הצגת מידע על משתנים עמ' 4 מתוך 9

5 cler שימוש: cler cler מחיקת כל המשתנים מזיכרון העבודה cler A I שימוש:... cler vr1 vr2 מחיקת משתנים מסוימים מערכים מערך הוא קבוצה מסודרת של רכיבים. הרכיבים יכולים להיות כל סוג של מידע (לא רק מספרים). כל הרכיבים נמצאים במשתנה אחד. במטלב, ברירת המחדל לכל משתנה היא מערך דו-ממדי. דוגמא למערך דו-ממדי: מערך 4, 4x3 שורות 3 עמודות. מערכים חד-ממדיים הם מקרה פרטי של מערך דו-ממדי: מערך עמודה מערך שורה דוגמא: מערך-עמודה 4x1 של דוגמא: מערך 1x5 שורה של 5 רכיבים (אלמנטים). ארבעה רכיבים. גם סקלר הוא מערך 1x1. במטלב יש משמעות גם למערך nx0 או 0xn עם 0 רכיבים. פקודות ותוכניות פקודה: הוראות לביצוע פעולות הכתובות בשפה עילית. דוגמאות לפעולות המבוצעות ע"י פקודות: חישוב ביטויים מתמטיים, השמת ערכים למשתנים, העתקת מידע מן הזיכרון לדיסק או מן הדיסק לזיכרון ועוד. פקודה מתבצעת בשלבים הבאים: תרגום הפקודה משפה עילית לקוד-מכונה המתאים לחומרה הספיציפית של המחשב (קומפילציה). אכסון קוד המכונה בזכרון. ביצוע קוד המכונה. תוכנית מחשב: סדרה (סופית) של פקודות. תוכניות מחשב נשמרות בקבצים. דיסק, מידע וקבצים מידע מאוכסן בדיסק בקבצים. קובץ מתייחס לשטח אכסון מסוים על הדיסק, עם המאפיינים הבאים: מיקום על הדיסק. שם - תווית לצורך התייחסות. תוכן - המידע המאוכסן בקובץ. כתיבה לקובץ: העתקת מידע שנמצא במשתנים בזיכרון ואחסונו בקובץ הנמצא בדיסק. קריאה מקובץ: טעינת מידע מקובץ הנמצא על הדיסק אל משתנים הנמצאים בזיכרון. סוגי קבצים סוג הקובץ מצוין בדרך כלל ע"י הסיומת שלו.(extention) אופן שמירת המידע בקובץ: קבצי טקסט: כוללים רק סימנים ניתנים להצגה (תווים,.(scii עמ' 5 מתוך 9

6 ניתנים להצגה ועריכה ע"י כל עורך טקסט (למשל.(NotePd קבצים בינאריים: כתובים בפורמט ייחודי לתוכנה שייצרה אותם (ולכן ניתנים לפתיחה ועריכה רק ע"י התוכנה). פורמטים מוכרים במטלב תוכניות מטלב: קבצי טקסט עם סיומת m. (לכן נקראים.(m-files קבצי משתנים, בהם מטלב שומר משתנים בפורמט שבו הם נמצאים בזכרון העבודה. סיומת.mt פורמטים שאינם ייחודיים למטלב, למשל: קבצי טקסט (למשל טבלאות מספריות). o jpg, bmp, gif תמונות (פורמטים גרפיים), למשל o גיליונות חישוב, למשל אקסל o pdb או מידע על חלבונים בקבצי fst קבצים ייעודיים, למשל מידע גנטי בקבצי o פקודות פשוטות לקריאה וכתיבה מקובץ הפקודות הבאות מעבירות מידע בין משתנים בזיכרון לקובץ על הדיסק: פקודה lod תיאור קריאת משתנים מקובץ בפורמט מטלב.mt פעולה המשתנים נקראים מן הקובץ לזיכרון העבודה. דוגמא cler lod rrys who Your vribles re: A B C D E I M R S b c s t v שמירת משתנים לקובץ sve שמירת כל המשתנים לקובץ mtlb.mt Sving to: D:\mbooks\course\bio\mtlb.mt.mt sve sve myvrs sve file R S s שמירת כל המשתנים לקובץ מסוים שמירת משתנים מסוימים לקובץ מסוים פקודות לשימוש בתיעוד/עזרה help log log Nturl logrithm. log(x) is the nturl logrithm of the elements of X. Complex results re produced if X is not positive. See lso log1p, log2, log10, exp, logm, rellog. Reference pge for log Other functions nmed log כלי שולחן-העבודה של מטלב שולחן העבודה desktop משטחים ותפריטים תפריט תלוי-הקשר context menu עיגון dock ושחרור undock משטח חלון העבודה commnd window מציג פקודות + תוצאות סימון תחביר בצבעים בדיקת זוגיות (סוגריים וסימנים נוספים) עמ' 6 מתוך 9

7 איחזור פקודות קודמות: ע"י מקש השלמת שמות ע"י מקש TAB תזכורת לפורמט של פקודות חלון זיכרון העבודה workspce רשימת משתנים מחיקת משתנים, שינוי שם, שמירה לקובץ שרטוט פתיחת המשתנה בחלון vrible חלון הקבצים current folder פתיחת קובץ: לפי הקשר בעורך של מטלב (טקסט) מחוץ למטלב כלי ייבוא מקובץ:.import dt דוגמאות: קריאת משתנים מקובץ rrys.mt :mt קריאת מערכי עמודה מקובץ אקסל: births.xls קריאת מערך תלת-ממדי מקובץ תמונה: _ jpg הצגה מקובצת של קבצים חיפוש טקסט בכל הקבצים מערכת התיעוד f x הקשה על בחלון העבודה פתיחת מערכת העזרה במקש חלון history רשימת פקודות קודמות ביצוע העתקה לחלון העבודה העתקה לקובץ תוכנית? כתיבה, עריכה והרצה של סקריפט תוכניות במטלב באזור Resources בסרגל.Home תוכנית במטלב יכולה לכלול כמעט כל פקודה שניתן לבצע מחלון העבודה. התוכנית כתובה בקובץ טקסט בעל סיומת m (ולכן נקרא גם.(mfile למטלב עורך תוכניות מובנה, אולם ניתן לערוך תוכנית מטלב בכל עורך טקסטואלי. הפעלת התוכנית: כתיבת שם הקובץ (ללא הסיומת) בחלון הפקודות. למעשה כל תוכנית במטלב יוצרת פקודה חדשה. שם הפקודה הוא כשם הקובץ (ללא הסיומת). לאחר שכל הפקודות בקובץ מתבצעות, הביצוע חוזר לסביבה בה הופעלה הפקודה. קבצי תוכנית mfiles כללי תחביר כל פקודה מתחילה בשורה חדשה. (ניתן לכתוב כמה פקודות בשורה ע"י הפרדתן ב-, ניתן לכתוב פקודה בכמה שורות. הסימן ;) או (3 נקודות) מסמן שהפקודה ממשיכה בשורה הבאה.... כל טקסט שבא אחרי סימן % נחשב להערה, עד לסוף השורה. עמ' 7 מתוך 9

8 מומלץ לסיים ב- ; את כל פקודות ההשמה בקבצי תוכנית, למעט פקודות שמעוניינים במפורש להציג את תוצאותיהן תוך כדי ביצוע. יצירת קובץ תוכנית פתיחת קובץ ריק: שימוש בפקודות שבוצעו בחלון העבודה: כפתור New script באזור File בסרגל Home כתיבת פקודות לבחור את הפקודות מחלון Commnd History להפעיל context menu ולבחור Crete M-File שמירה: בחלון העורך בסרגל EDITOR באזור,File לחיצה על תפריט sve ובחירת.sve s סקריפט script סקריפט הוא קובץ mfile שהפקודות בו מבוצעות כאילו הופעלו מחלון הפקודות. הסקריפט משתמש במרחב המשתנים הכללי של מטלב :(bse) ניתן להשתמש בסקריפט במשתנים שהוגדרו לפני הרצתו. כל המשתנים שנוצרים ע"י הסקריפט נשארים במרחב המשתנים הכללי גם לאחר שהריצה הסתיימה. הסקריפט יכול לשנות משתנים במרחב הכללי. cler vol1 = 0.1 vol1 = דוגמא 1: חישובי ריכוזים. נבצע את הפקודות הבאות: molr1 = 0.5 molr1 = vol2 = 0.3 vol2 = molr2 = 0.2 molr2 = moles1 = molr1*vol1 moles1 = moles2 = molr2*vol2 moles2 = Vol = vol1+vol2 Vol = Molr1 = moles1/vol Molr1 = Molr2 = moles2/vol Molr1 = sve molr vol1 molr1 vol2 molr2 Vol Molr1 Molr2 d1molr מחלון Commnd History נשמור את הפקודות בקובץ d1molr.m הפעלת הקובץ: עמ' 8 מתוך 9

9 דוגמא 2: הסקריפט d1bcteri.m מחשב נפח של מושבת-חיידקים לאחר מספר מסוים של ימים, בהנחה שהחיידקים מתפזרים באופן שווה ושיש מזון ומקום בלתי מוגבלים. חיידק מתחלק ל- 2 כל 20 דקות, וגודל החיידק הוא 0.5 מיקרון. הפעלת הסקריפט: d1bcteri dys = 2 divisionminutes = 20 bcterisize = e-07 minutes = 2880 bcterivolume = e-19 divisionnumber = 144 bcterinumber = e+43 totlvolume = e+24 totlcm = e+30 עמ' 9 מתוך 9

שיעור מס' 1: סביבת עבודה

שיעור מס' 1: סביבת עבודה חישובים סוגי ביטויים מתמטיים שיעור מס' 1: סביבת עבודה ביטוי מתמטי מורכב מרכיבים )אופרנדים( ומפעולה שנעשית ביניהם )אופרטור(. operand1 operator operand2 operator operand FunctionName(argument) אופרטור בינרי

Διαβάστε περισσότερα

תכנות בשפת C פרק שלישי: בקרת זרימה שייקה בילו יועץ ומרצה בכיר למדעי המחשב וטכנולוגית מידע מומחה למערכות מידע חינוכיות, אקדמיות ומנהליות

תכנות בשפת C פרק שלישי: בקרת זרימה שייקה בילו יועץ ומרצה בכיר למדעי המחשב וטכנולוגית מידע מומחה למערכות מידע חינוכיות, אקדמיות ומנהליות תכנות בשפת C פרק שלישי: בקרת זרימה שייקה בילו יועץ ומרצה בכיר למדעי המחשב וטכנולוגית מידע מומחה למערכות מידע חינוכיות, אקדמיות ומנהליות תזכורת: שימוש במשתנים מהו משתנה הגדרת משתנים ;int i ; char c= a קלט/פלט

Διαβάστε περισσότερα

תרגול פעולות מומצאות 3

תרגול פעולות מומצאות 3 תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה

Διαβάστε περισσότερα

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשעב זהויות טריגונומטריות תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si

Διαβάστε περισσότερα

- Matlab ל אובמ תאמ גלפ ירוד 2002 רבמצד 1.0 הסריג

- Matlab ל אובמ תאמ גלפ ירוד 2002 רבמצד 1.0 הסריג מאת דורי פלג דצמבר 2002 גירסה 1.0 מבוא ומוטיבציה שפת Matlab היא שפת תכנות מתקדמת לסטודנטים ומהנדסים המאפשרת עיבוד מידע, הדמיות והצגה חזותית מגוונת באמצעות מיעוט בשורות קוד ובסביבה המיועדת לניתוח תוצאות.

Διαβάστε περισσότερα

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין

Διαβάστε περισσότερα

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 6 נושא: תחשיב הפסוקים: הפונקציה,val גרירה לוגית, שקילות לוגית 1. כיתבו טבלאות אמת לפסוקים הבאים: (ג) r)).((p q) r) ((p r) (q p q r (p

Διαβάστε περισσότερα

גבול ורציפות של פונקציה סקלרית שאלות נוספות

גבול ורציפות של פונקציה סקלרית שאלות נוספות 08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך

Διαβάστε περισσότερα

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד. חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.

Διαβάστε περισσότερα

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת

Διαβάστε περισσότερα

סיכום- בעיות מינימוםמקסימום - שאלון 806

סיכום- בעיות מינימוםמקסימום - שאלון 806 סיכום- בעיות מינימוםמקסימום - שאלון 806 בבעיותמינימום מקסימוםישלחפשאתנקודותהמינימוםהמוחלטוהמקסימוםהמוחלט. בשאלות מינימוםמקסימוםחובהלהראותבעזרתטבלה אובעזרתנגזרתשנייהשאכן מדובר עלמינימוםאומקסימום. לצורךקיצורהתהליך,

Διαβάστε περισσότερα

חורף תש''ע פתרון בחינה סופית מועד א'

חורף תש''ע פתרון בחינה סופית מועד א' מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר

Διαβάστε περισσότερα

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( ) פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e

Διαβάστε περισσότερα

תרגול מס' 6 פתרון מערכת משוואות ליניארית

תרגול מס' 6 פתרון מערכת משוואות ליניארית אנליזה נומרית 0211 סתיו - תרגול מס' 6 פתרון מערכת משוואות ליניארית נרצה לפתור את מערכת המשוואות יהי פתרון מקורב של נגדיר את השארית: ואת השגיאה: שאלה 1: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

Διαβάστε περισσότερα

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)

Διαβάστε περισσότερα

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

Διαβάστε περισσότερα

אלגברה לינארית מטריצות מטריצות הפיכות

אלגברה לינארית מטריצות מטריצות הפיכות מטריצות + [( αij+ β ij ] m λ [ λα ij ] m λ [ αijλ ] m + + ( + +C + ( + C i C m q m q ( + C C + C C( + C + C λ( ( λ λ( ( λ (C (C ( ( λ ( + + ( λi ( ( ( k k i חיבור מכפלה בסקלר מכפלה בסקלר קומוטטיב אסוציאטיב

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשעו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים: לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1

Διαβάστε περισσότερα

gcd 24,15 = 3 3 =

gcd 24,15 = 3 3 = מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =

Διαβάστε περισσότερα

התפלגות χ: Analyze. Non parametric test

התפלגות χ: Analyze. Non parametric test מבחני חי בריבוע לבדיקת טיב התאמה דוגמא: זורקים קוביה 300 פעמים. להלן התוצאות שהתקבלו: 6 5 4 3 2 1 תוצאה 41 66 45 56 49 43 שכיחות 2 התפלגות χ: 0.15 התפלגות חי בריבוע עבור דרגות חופש שונות 0.12 0.09 0.06

Διαβάστε περισσότερα

ל הזכויות שמורות לדפנה וסטרייך

ל הזכויות שמורות לדפנה וסטרייך מרובע שכל זוג צלעות נגדיות בו שוות זו לזו נקרא h באיור שלעיל, הצלעות ו- הן צלעות נגדיות ומתקיים, וכן הצלעות ו- הן צלעות נגדיות ומתקיים. תכונות ה כל שתי זוויות נגדיות שוות זו לזו. 1. כל שתי צלעות נגדיות

Διαβάστε περισσότερα

Domain Relational Calculus דוגמאות. {<bn> dn(<dn, bn> likes dn = Yossi )}

Domain Relational Calculus דוגמאות. {<bn> dn(<dn, bn> likes dn = Yossi )} כללים ליצירת נוסחאות DRC תחשיב רלציוני על תחומים Domain Relational Calculus DRC הואהצהרתי, כמוSQL : מבטאיםבורקמהרוציםשתהיההתוצאה, ולא איךלחשבאותה. כלשאילתהב- DRC היאמהצורה )} i,{ F(x 1,x

Διαβάστε περισσότερα

משפטי בקרה ולולאות שעור מס. 3 כל הזכויות שמורות דר' דרור טובי המרכז האוניברסיטאי אריאל

משפטי בקרה ולולאות שעור מס. 3 כל הזכויות שמורות דר' דרור טובי המרכז האוניברסיטאי אריאל משפטי בקרה ולולאות שעור מס. 3 דרור טובי דר' 1 כל הזכויות שמורות דר' דרור טובי המרכז האוניברסיטאי אריאל - הקדמה משפט התנאי if המשימה: ברצוננו לכתוב תוכנית המקבלת שני מספרים בסדר כל שהוא ולהדפיס אותם בסדר

Διαβάστε περισσότερα

מבחן t לשני מדגמים בלתי תלויים. T test for independent samples

מבחן t לשני מדגמים בלתי תלויים. T test for independent samples מבחן t לשני מדגמים בלתי תלויים T test for independent samples מטרת המבחן השוואת תוחלות של שתי אוכלוסיות. דוגמים מדגם מקרי מכל אוכלוסיה, באופן שאין תלות בין שני המדגמים ובודקים האם ההבדל שנמצא בין ממוצעי

Διαβάστε περισσότερα

הרצאה. α α פלוני, וכדומה. הזוויות α ל- β שווה ל-

הרצאה. α α פלוני, וכדומה. הזוויות α ל- β שווה ל- מ'' ל'' Deprmen of Applied Mhemics Holon Acdemic Insiue of Technology PROBABILITY AND STATISTICS Eugene Knzieper All righs reserved 4/5 חומר לימוד בקורס "הסתברות וסטטיסטיקה" מאת יוג'ין קנציפר כל הזכויות

Διαβάστε περισσότερα

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, 635865 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1. סדרה חשבונית שיש בה n איברים...2 3. האיבר

Διαβάστε περισσότερα

3-9 - a < x < a, a < x < a

3-9 - a < x < a, a < x < a 1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.

Διαβάστε περισσότερα

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim

Διαβάστε περισσότερα

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים מבוא: קבוצות מיוחדות של מספרים ממשיים קבוצות של מספרים ממשיים צעד ראשון להצטיינות קבוצה היא אוסף של עצמים הנקראים האיברים של הקבוצה אנו נתמקד בקבוצות של מספרים ממשיים בדרך כלל מסמנים את הקבוצה באות גדולה

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשעו (2016) לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור

Διαβάστε περισσότερα

מסדי נתונים רלציונים התצפית של כל משתמש על פי היישום ייצוג הנתונים על פי המודל כטבלאות שמירה בפועל על הדיסק

מסדי נתונים רלציונים התצפית של כל משתמש על פי היישום ייצוג הנתונים על פי המודל כטבלאות שמירה בפועל על הדיסק מסד נתונים רלציוני 234322 פרק 8 הדרך המקובלת לטפל במאגרי נתונים גדולים. מוגדרות פעולות אבסטרקטיות על הנתונים באופן שאינו תלוי במימוש. בקורס נלמד כיצד לממש את המסד והפעולות האלו. נלמד: א. הפעולות הבסיסיות

Διαβάστε περισσότερα

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא

Διαβάστε περισσότερα

תרגול 8: מטלאב לולאות

תרגול 8: מטלאב לולאות מבוא למחשב בשפת Matlab : מטלאב לולאות נכתב על-ידי רמי כהן,אולג רוכלנקו, לימור ליבוביץ ואיתן אביאור כל הזכויות שמורות לטכניון מכון טכנולוגי לישראל לולאת while a=input('enter a positive number:'); קליטת

Διαβάστε περισσότερα

הנכותה תורדגהו הנבמ םינותנ יצבק תפסוה / תיינב םינותנ ץבוק תכירע

הנכותה תורדגהו הנבמ םינותנ יצבק תפסוה / תיינב םינותנ ץבוק תכירע Enterprise Guide תוכן עניינים נושא עמ' 1-4 5-12 13-15 16 17 18-22 23-30 31-36 מבנה והגדרות התוכנה הקדמה על התוכנה מבנה חלונות התוכנה שימוש בקבצי העזרה סרגלי כלים תפריט משימות שינוי תצוגת הפלט הגדרות כלליות

Διαβάστε περισσότερα

ניהול תמיכה מערכות שלבים: DFfactor=a-1 DFt=an-1 DFeror=a(n-1) (סכום _ הנתונים ( (מספר _ חזרות ( (מספר _ רמות ( (סכום _ ריבועי _ כל _ הנתונים (

ניהול תמיכה מערכות שלבים: DFfactor=a-1 DFt=an-1 DFeror=a(n-1) (סכום _ הנתונים ( (מספר _ חזרות ( (מספר _ רמות ( (סכום _ ריבועי _ כל _ הנתונים ( תכנון ניסויים כאשר קיימת אישביעות רצון מהמצב הקיים (למשל כשלים חוזרים בבקרת תהליכים סטטיסטית) נחפש דרכים לשיפור/ייעול המערכת. ניתן לבצע ניסויים על גורם בודד, שני גורמים או יותר. ניסויים עם גורם בודד: נבצע

Διαβάστε περισσότερα

Logic and Set Theory for Comp. Sci.

Logic and Set Theory for Comp. Sci. 234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =

Διαβάστε περισσότερα

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V ) הצגות של חבורות סופיות c ארזים 6 בינואר 017 1 משפט ברנסייד משפט 1.1 ברנסייד) יהיו p, q ראשוניים. תהי G חבורה מסדר.a, b 0,p a q b אזי G פתירה. הוכחה: באינדוקציה על G. אפשר להניח כי > 1 G. נבחר תת חבורה

Διαβάστε περισσότερα

-107- גיאומטריה זוויות מבוא מטרתנו בפרק זה היא לחזור על המושגים שנלמדו ולהעמיק את הלימוד בנושא זה.

-107- גיאומטריה זוויות מבוא מטרתנו בפרק זה היא לחזור על המושגים שנלמדו ולהעמיק את הלימוד בנושא זה. -07- בשנים קודמות למדתם את נושא הזוויות. גיאומטריה זוויות מבוא מטרתנו בפרק זה היא לחזור על המושגים שנלמדו ולהעמיק את הלימוד בנושא זה. זווית נוצרת על-ידי שתי קרניים היוצאות מנקודה אחת. הנקודה נקראת קדקוד

Διαβάστε περισσότερα

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות λ = 0 A. F n n ערך עצמי של A אם ורק אם A לא הפיכה..det(λ I ערך עצמי של λ F.A F n n n A) = 0 אם ורק אם: A v וקטור עצמי של Tהמתאים יהי T: V V אופרטור לינארי. אם λ F ערך עצמי של,T לערך העצמי λ, אזי λ הוא

Διαβάστε περισσότερα

תרגיל 13 משפטי רול ולגראנז הערות

תרגיל 13 משפטי רול ולגראנז הערות Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון

Διαβάστε περισσότερα

מבני בקרה ב C שעור מס. 2 דר' דרור טובי, המרכז האוניברסיטאי אריאל בשומרון.

מבני בקרה ב C שעור מס. 2 דר' דרור טובי, המרכז האוניברסיטאי אריאל בשומרון. מבני בקרה ב C שעור מס. 2 דרור טובי דר' 1 פקודת if הוראה תנאי True (1) False (0) if ( grade >= 60 ) cout = 60 ) { cout

Διαβάστε περισσότερα

פרקי מבוא במדעי המחשב

פרקי מבוא במדעי המחשב פרקי מבוא במדעי המחשב אורי אברהם המחלקה למתמטיקה ומדעי המחשב אוניברסיטת בן גוריון. תשס"ב מהדורה 4 ?? =? = = = E??? =? = = = = = H E?? H.*".>#&/+ 8!# 8 #5(+#59 8 :.;5&(

Διαβάστε περισσότερα

ניתוח סיבוכיות - פונקציות רקורסיביות פיתוח טלסקופי

ניתוח סיבוכיות - פונקציות רקורסיביות פיתוח טלסקופי ניתוח סיבוכיות - פונקציות רקורסיביות פיתוח טלסקופי ננסה להשתמש בכך שהפונקציה היא רקורסיבית על מנת לרשום גם עבור הסיבוכיות ביטוי רקורסיבי. factorial() 3 מתחילים מכתיבת ביטוי לא מפורש ל-( T( ביטוי רקורסיבי

Διαβάστε περισσότερα

f ( x, y) 1 5y axy x xy ye dxdy לדוגמה: axy + + = a ay e 3 2 a e a y ( ) במישור. xy ואז dxdy למישור.xy שבסיסם dxdy וגבהם y) f( x, איור 25.

f ( x, y) 1 5y axy x xy ye dxdy לדוגמה: axy + + = a ay e 3 2 a e a y ( ) במישור. xy ואז dxdy למישור.xy שבסיסם dxdy וגבהם y) f( x, איור 25. ( + 5 ) 5. אנטגרלים כפולים., f ( המוגדרת במלבן הבא במישור (,) (ראה באיור ). נתונה פונקציה ( β α f(, ) נגדיר את הסמל הבא dd e dd 5 + e ( ) β β איור α 5. α 5 + + = e d d = 5 ( ) e + = e e β α β α f (, )

Διαβάστε περισσότερα

Nir Adar

Nir Adar 24.9.2004 גירסה 1.00 שפות תכנות מסמך זה הורד מהאתר. אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר. מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב השימוש במידע המופיע במסמך, וכן לנכונות

Διαβάστε περισσότερα

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה

Διαβάστε περισσότερα

מבחן סוף סמסטר מועד ב'

מבחן סוף סמסטר מועד ב' 13.03.2012 מבחן סוף סמסטר מועד ב' מרצה אחראי: פרופ"ח ארז פטרנק מתרגלים: עדי סוסנוביץ מיה ארבל הוראות: א. ב. ג. ד. ה. ו. ז. ח. ט. י. המבחן אנונימי! נא לרשום רק מספר זהות ולא את השם. בטופס המבחן 11 עמודים

Διαβάστε περισσότερα

הנושאים : 1. תוכן עניינים 3. דפי נוסחאות למבחן בשפת C של משרד החינוך. ג. תרגילים במערכים ומחרוזות ד.

הנושאים : 1. תוכן עניינים 3. דפי נוסחאות למבחן בשפת C של משרד החינוך. ג. תרגילים במערכים ומחרוזות ד. חומר לימוד בשפת C עבור כתה י"ד עריכה וכתיבה : אריה פורת הנושאים : עמוד 1 עמוד 2 עמודים 3 עד 12 עמודים 14 עד 23 עמודים 24 עד 32 עמודים 33 עד 43 עמודים 44 עד 54 עמודים 55 עד 96 עמודים 97 עד 123 עמודים 124

Διαβάστε περισσότερα

מבני נתונים מדעי המחשב שאלון: מועד ב' תשע"ו מדעי המחשב פתרון בחינת הבגרות. Java שאלה 1. blog.csit.org.

מבני נתונים מדעי המחשב שאלון: מועד ב' תשעו מדעי המחשב פתרון בחינת הבגרות. Java שאלה 1. blog.csit.org. 1 פתרון בחינת הבגרות פרק ראשון - )יסודות( Java שאלה 1 C# 6 Java שאלה 2 ב. פלט a a1 A A 4 + 5 = 9 4 + 5 = 9 n1 n2 n1 n2 8 + 9 = 17? 4? 5 4 8 5 9 3 :C# שאלה 2 פלט a a1 A A 4 + 5 = 9 4 + 5 = 9 n1 n2 n1 n2

Διαβάστε περισσότερα

אוניברסיטת בן-גוריון המחלקה לסוציולוגיה ולאנתרופולוגיה תשע"ג

אוניברסיטת בן-גוריון המחלקה לסוציולוגיה ולאנתרופולוגיה תשעג אוניברסיטת בן-גוריון המחלקה לסוציולוגיה ולאנתרופולוגיה ריכוז שיעורי למידה עצמית בקורס: תוכנות סטטיסטיות מרצה: ד"ר אורי ביבי תשע"ג Excel, Office 2007 SPSS 18 מעודכן לתוכנות: 1 3 16 18 26 27 40 41 54 55

Διαβάστε περισσότερα

כתיבה ייעוץ אקדמי איורים הפקה המרכז הישראלי לחינוך מדעי-טכנולוגי חינוכית (מטח) מקט מהדורת ניסוי ע"ש עמוס דה-שליט

כתיבה ייעוץ אקדמי איורים הפקה המרכז הישראלי לחינוך מדעי-טכנולוגי חינוכית (מטח) מקט מהדורת ניסוי עש עמוס דה-שליט כתיבה שרה פולק ייעוץ אקדמי ד"ר דן אהרוני ייעוץ דידקטי ד"ר צבי פירסט קריאה והערות ד"ר ראובן חוטובלי דינה קראוס סופי גילליס ישראל זילברשטיין עריכה לשונית אילנה גולן ד"ר דן אהרוני (פרקים -5) איורים רונית

Διαβάστε περισσότερα

PDF created with pdffactory trial version

PDF created with pdffactory trial version הקשר בין שדה חשמלי לפוטנציאל חשמלי E נחקור את הקשר, עבור מקרה פרטי, בו יש לנו שדה חשמלי קבוע. נתון שדה חשמלי הקבוע במרחב שגודלו שווה ל. E נסמן שתי נקודות לאורך קו שדה ו המרחק בין הנקודות שווה ל x. המתח

Διαβάστε περισσότερα

אוסף שאלות מס. 3 פתרונות

אוסף שאלות מס. 3 פתרונות אוסף שאלות מס. 3 פתרונות שאלה מצאו את תחום ההגדרה D R של כל אחת מהפונקציות הבאות, ושרטטו אותו במישור. f (x, y) = x + y x y, f 3 (x, y) = f (x, y) = xy x x + y, f 4(x, y) = xy x y f 5 (x, y) = 4x + 9y 36,

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעב (2012) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

אלגברה מודרנית פתרון שיעורי בית 6

אלגברה מודרנית פתרון שיעורי בית 6 אלגברה מודרנית פתרון שיעורי בית 6 15 בינואר 016 1. יהי F שדה ויהיו q(x) p(x), שני פולינומים מעל F. מצאו פולינומים R(x) S(x), כך שמתקיים R(x),p(x) = S(x)q(x) + כאשר deg(q),deg(r) < עבור המקרים הבאים: (תזכורת:

Διαβάστε περισσότερα

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.

Διαβάστε περισσότερα

שאלה 1 V AB פתרון AB 30 R3 20 R

שאלה 1 V AB פתרון AB 30 R3 20 R תרגילים בתורת החשמל כתה יג שאלה א. חשב את המתח AB לפי משפט מילמן. חשב את הזרם בכל נגד לפי המתח שקיבלת בסעיף א. A 60 0 8 0 0.A B 8 60 0 0. AB 5. v 60 AB 0 0 ( 5.) 0.55A 60 א. פתרון 0 AB 0 ( 5.) 0 0.776A

Διαβάστε περισσότερα

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A ) הסתברות למתמטיקאים c ארזים 3 במאי 2017 1 תוחלת מותנה הגדרה 1.1 לכל משתנה מקרי X אינטגרבילית ותת סיגמא אלגברה G F קיים משתנה מקרי G) Y := E (X המקיים: E (X1 A ) = E (Y 1 A ).G מדיד לפי Y.1.E Y

Διαβάστε περισσότερα

"שקר". במקום המילים "אמת" או "שקר" משתמשים באותיות T ו- F (באנגלית truth אמת, false שקר (

שקר. במקום המילים אמת או שקר משתמשים באותיות T ו- F (באנגלית truth אמת, false שקר ( . חלק : 1 תחשיב הפסוקים. 1) פסוקים. משתנים פסוקיים. ערכי האמת. בדיבור יום-יומי אנו משתמשים במשפטים שונים. לדוגמא: " יורם סטודנט ", "בישראל בקיץ חם.", "מה השעה?", "דג כרפיון עף בשמיים.", "לך הביתה!", "פרות

Διαβάστε περισσότερα

( k) ( ) = ( ) ( ) ( ) ( ) A Ω P( B) P A B P A P B תכונות: A ו- B ב"ת, אזי: A, B ב "ת. בינומי: (ההסתברות לk הצלחות מתוך n ניסויים) n.

( k) ( ) = ( ) ( ) ( ) ( ) A Ω P( B) P A B P A P B תכונות: A ו- B בת, אזי: A, B ב ת. בינומי: (ההסתברות לk הצלחות מתוך n ניסויים) n. Ω קבוצת התוצאות האפשריות של הניסוי A קבוצת התוצאות המבוקשות של הניסוי A A מספר האיברים של P( A A Ω מבוא להסתברות ח' 434 ( P A B הסתברות מותנית: P( A B P( B > ( P A B P A B P A B P( B PB נוסחאת ההסתברות

Διαβάστε περισσότερα

מודלים חישוביים כריעות R זוהי מחלקת השפות הכריעות. מחלקה זו סגורה תחת פעולת המשלים. רדוקציה בעיית ההכרעה רדוקציית מיפוי.

מודלים חישוביים כריעות R זוהי מחלקת השפות הכריעות. מחלקה זו סגורה תחת פעולת המשלים. רדוקציה בעיית ההכרעה רדוקציית מיפוי. מודלים חישוביים סיכום כריעות טענה: לא כל הפונקציות חשיבות. מספר התוכניות הוא בן מניה. כל תוכנית מגדירה פונקציה מספרית אחת לכל היותר. לכן מספר האלגוריתמים הוא בן מניה בעוד שמספר הפונקציות המספריות אינו

Διαβάστε περισσότερα

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה

Διαβάστε περισσότερα

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin( א. s in(0 c os(0 s in(60 c os(0 s in(0 c os(0 s in(0 c os(0 s in(0 0 s in(70 מתאים לזהות של cos(θsin(φ : s in(θ φ s in(θcos(φ sin ( π cot ( π cos ( 4πtan ( 4π sin ( π cos ( π sin ( π cos ( 4π sin ( 4π

Διαβάστε περισσότερα

{ } { } { A חוקי דה-מורגן: הגדרה הסתברות מותנית P P P. נוסחת בייס ) :(Bayes P P נוסחת ההסתברות הכוללת:

{ } { } { A חוקי דה-מורגן: הגדרה הסתברות מותנית P P P. נוסחת בייס ) :(Bayes P P נוסחת ההסתברות הכוללת: A A A = = A = = = = { A B} P{ A B} P P{ B} P { } { } { A P A B = P B A } P{ B} P P P B=Ω { A} = { A B} { B} = = 434 מבוא להסתברות ח', דפי נוסחאות, עמוד מתוך 6 חוקי דה-מורגן: הגדרה הסתברות מותנית נוסחת

Διαβάστε περισσότερα

i שאלות 8,9 בתרגיל 2 ( A, F) אלגברת יצירה Α היא זוג כאשר i F = { f קבוצה של פונקציות {I קבוצה לא ריקה ו A A n i n i מקומית מ ל. A נרשה גם פונקציות 0 f i היא פונקציה n i טבעי כך ש כך שלכל i קיים B נוצר

Διαβάστε περισσότερα

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה.

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה. 1 לוגיקה סיכום הגדרות משפטים ודברים חשובים אחרים תודה רבה לניצן פומרנץ על הסיכום הכולל של החומר הקדמה הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה. הערה 0.2 נשים לב שלכל שפה יש רובד

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 12

מתמטיקה בדידה תרגול מס' 12 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: נוסחאות נסיגה נוסחאות נסיגה באמצעות פונקציות יוצרות נוסחאות נסיגה באמצעות פולינום אופייני נוסחאות נסיגה לעתים מפורש לבעיה קומבינטורית אינו ידוע, אך יחסית קל להגיע

Διαβάστε περισσότερα

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 5 שנכתב על-ידי מאיר בכור. חקירת משוואה מהמעלה הראשונה עם נעלם אחד = הצורה הנורמלית של המשוואה, אליה יש להגיע, היא: b

Διαβάστε περισσότερα

החשמלי השדה הקדמה: (אדום) הוא גוף הטעון במטען q, כאשר גוף B, נכנס אל תוך התחום בו השדה משפיע, השדה מפעיל עליו כוח.

החשמלי השדה הקדמה: (אדום) הוא גוף הטעון במטען q, כאשר גוף B, נכנס אל תוך התחום בו השדה משפיע, השדה מפעיל עליו כוח. החשמלי השדה הקדמה: מושג השדה חשמלי נוצר, כאשר הפיזיקאי מיכאל פרדיי, ניסה לתת הסבר אינטואיטיבי לעובדה שמטענים מפעילים זה על זה כוחות ללא מגע ביניהם. לטענתו, כל עצם בעל מטען חשמלי יוצר מסביבו שדה המשתרע

Διαβάστε περισσότερα

- מבוא למערכות עקיבה סינכרוניות ) מתוזמנות על ידי שעון (

- מבוא למערכות עקיבה סינכרוניות ) מתוזמנות על ידי שעון ( פרק 9 - מבוא למערכות עקיבה סינכרוניות ) מתוזמנות על ידי שעון ( מערכת עקיבה (Sequential Circuit) x i z i מערכת צירופית (Combinational Circuit) ערכי הפלט תלויים אך ורק בערכים הנוכחיים של משתני הקלט מערכת

Διαβάστε περισσότερα

תרגיל 7 פונקציות טריגונומטריות הערות

תרגיל 7 פונקציות טריגונומטריות הערות תרגיל 7 פונקציות טריגונומטריות הערות. פתרו את המשוואות הבאות. לא מספיק למצוא פתרון אחד יש למצוא את כולם! sin ( π (א) = x sin (ב) = x cos (ג) = x tan (ד) = x) (ה) = tan x (ו) = 0 x sin (x) + sin (ז) 3 =

Διαβάστε περισσότερα

אלגברה לינארית (1) - פתרון תרגיל 11

אלגברה לינארית (1) - פתרון תרגיל 11 אלגברה לינארית ( - פתרון תרגיל דרגו את המטריצות הבאות לפי אלגוריתם הדירוג של גאוס (א R R4 R R4 R=R+R R 3=R 3+R R=R+R R 3=R 3+R 9 4 3 7 (ב 9 4 3 7 7 4 3 9 4 3 4 R 3 R R3=R3 R R 4=R 4 R 7 4 3 9 7 4 3 8 6

Διαβάστε περισσότερα

קבל מורכב משני מוליכים, אשר אינם במגע אחד עם השני, בכל צורה שהיא. כאשר קבל טעון, על כל "לוח" יש את אותה כמות מטען, אך הסימנים הם הפוכים.

קבל מורכב משני מוליכים, אשר אינם במגע אחד עם השני, בכל צורה שהיא. כאשר קבל טעון, על כל לוח יש את אותה כמות מטען, אך הסימנים הם הפוכים. קבל קבל מורכב משני מוליכים, אשר אינם במגע אחד עם השני, בכל צורה שהיא. כאשר קבל טעון, על כל "לוח" יש את אותה כמות מטען, אך הסימנים הם הפוכים. על לוח אחד מטען Q ועל לוח שני מטען Q. הפוטנציאל על כל לוח הוא

Διαβάστε περισσότερα

אלגברה ליניארית (1) - תרגיל 6

אלגברה ליניארית (1) - תרגיל 6 אלגברה ליניארית (1) - תרגיל 6 התרגיל להגשה עד יום חמישי (12.12.14) בשעה 16:00 בתא המתאים בבניין מתמטיקה. נא לא לשכוח פתקית סימון. 1. עבור כל אחד מתת המרחבים הבאים, מצאו בסיס ואת המימד: (א) 3)} (0, 6, 3,,

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 8

אלגברה ליניארית 1 א' פתרון 8 אלגברה ליניארית 1 א' פתרון 8.1 נניח כי (R) A M n מקיימת = 0 t.aa הוכיחו כי = 0.A הוכחה: נביט באיברי האלכסון של.AA t.(aa t ) ii = n k=1 (A) ik(a t ) ki = n k=1 a ika ik = n k=1 a2 ik = 0 מדובר במספרים ממשיים,

Διαβάστε περισσότερα

אינפי - 1 תרגול בינואר 2012

אינפי - 1 תרגול בינואר 2012 אינפי - תרגול 4 3 בינואר 0 רציפות במידה שווה הגדרה. נאמר שפונקציה f : D R היא רציפה במידה שווה אם לכל > 0 ε קיים. f(x) f(y) < ε אז x y < δ אם,x, y D כך שלכל δ > 0 נביט במקרה בו D הוא קטע (חסום או לא חסום,

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעד (2014) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

אלגברה רלציונית ניר אדר

אלגברה רלציונית ניר אדר גירסה.0 0.3.00 אלגברה רלציונית מסמך זה הורד מהאתר. אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר. מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב השימוש במידע המופיע במסמך, וכן לנכונות

Διαβάστε περισσότερα

Regular Expressions (RE)

Regular Expressions (RE) Regular Expressions (RE) ביטויים רגולריים עד כה דנו במספר מודלים חישוביים להצגת (או ליצור) שפות רגולריות וראינו שכל המודלים האלה הם שקולים מבחינת כוח החישובי שלהם. בסעיף זה נראה עוד דרך להצגת (או ליצור)

Διαβάστε περισσότερα

רשימת בעיות בסיבוכיות

רשימת בעיות בסיבוכיות ב) ב) רשימת בעיות בסיבוכיות כל בעיה מופיעה במחלקה הגדולה ביותר שידוע בוודאות שהיא נמצאת בה, אלא אם כן מצוין אחרת. כמובן שבעיות ב- L נמצאות גם ב- וב- SACE למשל, אבל אם תכתבו את זה כתשובה במבחן לא תקבלו

Διαβάστε περισσότερα

עבודה עם קבצים בשפת C

עבודה עם קבצים בשפת C עבודה עם קבצים בשפת C עבודה עם קב צים קבצים מיוצגים ב- C באמצעות הטיפוס.FILE טיפוס זה איננו טיפוס בסיסי, אלא typedef לטיפוס מורכב יותר. הוא מוגדר בקובץ.stdio.h הייצוג הפנימי של טיפוס זה לא יהיה מענייננו,

Διαβάστε περισσότερα

תורת הקומפילציה הרצאה 4 ניתוח תחבירי )Parsing( של דקדוקי LR(0) ו-( LR(1 )חזרה + המשך(

תורת הקומפילציה הרצאה 4 ניתוח תחבירי )Parsing( של דקדוקי LR(0) ו-( LR(1 )חזרה + המשך( תורת הקומפילציה 236360 הרצאה 4 ניתוח תחבירי )Parsing( של דקדוקי LR(0) ו-( LR(1 )חזרה + המשך( 1 תזכורת: סוגי הניתוח התחבירי )predictive מהשורש לעלים )נקרא גם s "ניתוח תחזית" top-down x y bottom-up מהעלים

Διαβάστε περισσότερα

נספח לפרק 10 דוגמא לאנליזה של מכונת מצבים ננסה להבין את פעולתה של מ כונת המצבים הבאה : Input X. q 0 q 1. output D FF-0 D FF-1. clk

נספח לפרק 10 דוגמא לאנליזה של מכונת מצבים ננסה להבין את פעולתה של מ כונת המצבים הבאה : Input X. q 0 q 1. output D FF-0 D FF-1. clk נספח לפרק 10 דוגמא לאנליזה של מכונת מצבים ננסה להבין את פעולתה של מ כונת המצבים הבאה : Input X D FF-0 q 0 q 1 Z D FF-1 output clk 424 מצב המכונה מוגדר על ידי יציאות רכיבי הזיכרון. נסמן את המצב הנוכחי q

Διαβάστε περισσότερα

"קשר-חם" : לקידום שיפור וריענון החינוך המתמטי

קשר-חם : לקידום שיפור וריענון החינוך המתמטי הטכניון - מכון טכנולוגי לישראל המחלקה להוראת הטכנולוגיה והמדעים "קשר-חם" : לקידום שיפור וריענון החינוך המתמטי נושא: חקירת משוואות פרמטריות בעזרת גרפים הוכן ע"י: אביבה ברש. תקציר: בחומר מוצגת דרך לחקירת

Διαβάστε περισσότερα

פולינומים אורתוגונליים

פולינומים אורתוגונליים פולינומים אורתוגונליים מרצה: פרופ' זינובי גרינשפון סיכום: אלון צ'רני הקורס ניתן בסמסטר אביב 03, בר אילן פולינומים אורתוגונאליים תוכן עניינים תאריך 3.3.3 הרצאה מרחב מכפלה פנימית (הגדרה, תכונות, דוגמאות)

Διαβάστε περισσότερα

סדרות - תרגילים הכנה לבגרות 5 יח"ל

סדרות - תרגילים הכנה לבגרות 5 יחל סדרות - הכנה לבגרות 5 יח"ל 5 יח"ל סדרות - הכנה לבגרות איברים ראשונים בסדרה) ) S מסמן סכום תרגיל S0 S 5, S6 בסדרה הנדסית נתון: 89 מצא את האיבר הראשון של הסדרה תרגיל גוף ראשון, בשנייה הראשונה לתנועתו עבר

Διαβάστε περισσότερα

פרק - 8 יחידות זיכרון ) Flop Flip דלגלג (

פרק - 8 יחידות זיכרון ) Flop Flip דלגלג ( פרק - 8 יחידות זיכרון ) Flop Flip דלגלג ( עד כה עסקנו במערכות צירופיות בהן ערכי המוצא נקבעים לפי ערכי המבוא הנוכחיים בלבד. במערכות אלו אסורים מסלולים מעגליים. כעת נרחיב את הדיון למערכות עם מעגלים. למשל

Διαβάστε περισσότερα

Nir Adar

Nir Adar גירסה 9.7.2003-1.00 - עורך נוסחאות מתמטיות MathType מסמך זה הורד מהאתר. אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר. מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב השימוש במידע המופיע

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 2

מתמטיקה בדידה תרגול מס' 2 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.

Διαβάστε περισσότερα

קיום ויחידות פתרונות למשוואות דיפרנציאליות

קיום ויחידות פתרונות למשוואות דיפרנציאליות קיום ויחידות פתרונות למשוואות דיפרנציאליות 1 מוטיבציה למשפט הקיום והיחידות אנו יודעים לפתור משוואות דיפרנציאליות ממחלקות מסוימות, כמו משוואות פרידות או משוואות לינאריות. עם זאת, קל לכתוב משוואה דיפרנציאלית

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 7

אלגברה ליניארית 1 א' פתרון 7 אלגברה ליניארית 1 א' פתרון 7 2 1 1 1 0 1 1 0 1 0 2 1 1 0 1 0 2 1 2 1 1 0 2 1 0 1 1 3 1 2 3 1 2 0 1 5 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 4 0 0 0.1 עבור :A לכן = 3.rkA עבור B: נבצע פעולות עמודה אלמנטריות

Διαβάστε περισσότερα

גודל. איור 29.1 ב- = 2 = 4. F x שני דרכים לחבר: גאומטרית ואלגברית. איור d = 3

גודל. איור 29.1 ב- = 2 = 4. F x שני דרכים לחבר: גאומטרית ואלגברית. איור d = 3 d פרופ' שלמה הבלין 9. אנליזה וקטורית הפרק שלפנינו נקרא אנליזה וקטורית והוא עוסק בחשבון דפרנציאלי ואנטגרלי של וקטורים. הרבה גדלים בפיסיקה יש להם גם ערך מספרי גודל וגם כיוון במרחב. למשל העתק, או מהירות של

Διαβάστε περισσότερα

מכניקה אנליטית תרגול 6

מכניקה אנליטית תרגול 6 מכניקה אנליטית תרגול 6 1 אלימינציה של קואורדינטות ציקליות כאשר יש בבעיה קואורדינטה ציקלית אחת או יותר, לעתים נרצה לכתוב פעולה חדשה (או, באופן שקול, לגראנז'יאן חדש) אשר לא כולל את הקואורדינטות הללו, וממנו

Διαβάστε περισσότερα

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. 16 במאי 2010 נסמן את מחלקת הצמידות של איבר בחבורה G על ידי } g.[] { y : g G, y g כעת נניח כי [y] [] עבור שני איברים, y G ונוכיח כי [y].[] מאחר והחיתוך

Διαβάστε περισσότερα

רשימת משפטים והגדרות

רשימת משפטים והגדרות רשימת משפטים והגדרות חשבון אינפיניטיסימאלי ב' מרצה : למברג דן 1 פונקציה קדומה ואינטגרל לא מסויים הגדרה 1.1. (פונקציה קדומה) יהי f :,] [b R פונקציה. פונקציה F נקראת פונקציה קדומה של f אם.[, b] גזירה ב F

Διαβάστε περισσότερα

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5 הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) ביטויים רגולריים הרצאה 5 המצגת מבוססת על ספרם של פרופ' נסים פרנסיז ופרופ' שמואל זקס, "אוטומטים ושפות פורמליות", האוניברסיטה הפתוחה, 1987. גרסה ראשונה

Διαβάστε περισσότερα

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

( )( ) ( ) f : B C היא פונקציה חחע ועל מכיוון שהיא מוגדרת עי. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חחע אז ועל פי הגדרת הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (

Διαβάστε περισσότερα

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE סמסטר אביב תשס"ו מס' סטודנט:

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE סמסטר אביב תשסו מס' סטודנט: TECHNION ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב מבני נתונים 234218 1 מבחן מועד ב ' סמסטר אביב תשס"ו מרצה: אהוד ריבלין מתרגלים: איתן

Διαβάστε περισσότερα

תרגול משפט הדיברגנץ. D תחום חסום וסגור בעל שפה חלקה למדי D, ותהי F פו' וקטורית :F, R n R n אזי: נוסחת גרין I: הוכחה: F = u v כאשר u פו' סקלרית:

תרגול משפט הדיברגנץ. D תחום חסום וסגור בעל שפה חלקה למדי D, ותהי F פו' וקטורית :F, R n R n אזי: נוסחת גרין I: הוכחה: F = u v כאשר u פו' סקלרית: משפט הדיברגנץ תחום חסום וסגור בעל שפה חלקה למדי, ותהי F פו' וקטורית :F, R n R n אזי: div(f ) dxdy = F, n dr נוסחת גרין I: uδv dxdy = u v n dr u, v dxdy הוכחה: F = (u v v, u x y ) F = u v כאשר u פו' סקלרית:

Διαβάστε περισσότερα

מבוא ללוגיקה מתמטית 80423

מבוא ללוגיקה מתמטית 80423 מבוא ללוגיקה מתמטית 80423 24 במרץ 2012 איני לוקחת אחריות על מה שכתוב כאן, so tread lightly אין המרצה או המתרגל קשורים לסיכום זה בשום דרך. הערות יתקבלו בברכה.noga.rotman@gmail.com אהבתם? יש עוד! www.cs.huji.ac.il/

Διαβάστε περισσότερα